title | Eine Prädikat- und Invariantenverwaltung zur Synchronisation in APRICOTS |
creator | Schirmer, Darius |
date | 1997-01 |
language | ger |
identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-1526&engl=1 |
description | 113 pages |
publisher | Stuttgart, Germany, Universität Stuttgart |
type | Text |
Diploma Thesis | |
contributor | Anwendersoftware (Prof. Reuter) (IPVR) |
subject | Distributed Systems (CR C.2.4) |
Operating Systems Reliability (CR D.4.5) | |
Specifying and Verifying and Reasoning about Programs (CR F.3.1) | |
Database Management Systems (CR H.2.4) | |
relation | Diploma Thesis No. 1526 |